Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
471	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
472	Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, P[removed]Braga, Portugal Email: [removed] Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:21 Mathematics Metalogic Hoare logic Predicate transformer semantics Structure Interpretation Program logic Model theory Logic
473	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: www.arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
474	Clause 53 Stage 1 Stage 2 Stage 3 Stage 4 Clause 52.2f) Add to Reading List Source URL: w3.unisa.edu.au Language: English - Date: 2011-10-24 00:29:34 Propositional calculus Clause Logic programming Predicate logic
475	A brief introduction to Ada 2012 by John Barnes Chapter 2 - Expressions Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-07-05 09:44:30 Procedural programming languages Quantification Predicate logic Semantics Data types Conditional ALGOL 68 Control flow Switch statement Software engineering Computing Computer programming
476	Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-08-25 18:32:21 Model theory Predicate logic Boolean algebra Propositional calculus Atomic sentence Unification Function First-order logic If and only if Logic Mathematical logic Mathematics
477	Million-scale Derivation of Semantic Relations from a Manually Constructed Predicate Taxonomy Motoki Sano∗ Kentaro Torisawa† Julien Kloetzer‡ Chikara Hashimoto § Istv´an Varga¶ Jong-Hoon Oh∥ ∗†‡§∥ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:23:41 Logical consequence Algebraic logic Computational linguistics Entailment Metalogic Function Modal logic Boolean algebra Event Logic Mathematics Philosophical logic
478	PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Logic Data types Predicate logic Formal methods Type system Abstract data type Stack Function Dependent type Mathematics Type theory Mathematical logic
479	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
480	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic

UPDATE